<?php

session_start();
if (!isset($_SESSION["session_username"])) {
    header("Location: index.php");
} else {
    unset($_SESSION["session_username"]);
    session_destroy();
    header("Location: index.php");
    exit;
}
?>